#ifndef CONSTANTES
#define CONSTANTES

#include <math.h>

#define NB_DEGRES            2

#define _N                   1248 // Nombre de Variables
#define _K                   624 // Nombre de Checks   
#define _M                   3952 // Nombre de Messages 

#define NOEUD   _N
#define MESSAGE _M

#define NmoinsK     (_N-_K)

#define DEG_1                7
#define DEG_2                6

#define DEG_1_COMPUTATIONS   208
#define DEG_2_COMPUTATIONS   416

#define NB_ITERATIONS        20
#define NB_BITS_VARIABLES    8 //8
#define NB_BITS_MESSAGES     6 //6
#define SAT_POS_VAR  ( (0x0001<<(NB_BITS_VARIABLES-1))-1)
#define SAT_NEG_VAR  (-(0x0001<<(NB_BITS_VARIABLES-1))+1)
#define SAT_POS_MSG  ( (0x0001<<(NB_BITS_MESSAGES -1))-1)
#define SAT_NEG_MSG  (-(0x0001<<(NB_BITS_MESSAGES -1))+1)

static float  beta         = 0.15;
static int    FACTEUR_BETA = (0x0001<<(NB_BITS_MESSAGES/2));
static int    BETA_FIX; //     = ((int)(FACTEUR_BETA*beta))

#endif


#ifndef _PosNoeudsVariable_
#define _PosNoeudsVariable_
const unsigned short PosNoeudsVariable[3952] ={
/* msg =      0, deg =  7 */     66,    271,    354,    368,    578,    676,    728, 
/* msg =      1, deg =  7 */     67,    272,    355,    369,    579,    677,    729, 
/* msg =      2, deg =  7 */     68,    273,    356,    370,    580,    678,    730, 
/* msg =      3, deg =  7 */     69,    274,    357,    371,    581,    679,    731, 
/* msg =      4, deg =  7 */     70,    275,    358,    372,    582,    680,    732, 
/* msg =      5, deg =  7 */     71,    276,    359,    373,    583,    681,    733, 
/* msg =      6, deg =  7 */     72,    277,    360,    374,    584,    682,    734, 
/* msg =      7, deg =  7 */     73,    278,    361,    375,    585,    683,    735, 
/* msg =      8, deg =  7 */     74,    279,    362,    376,    586,    684,    736, 
/* msg =      9, deg =  7 */     75,    280,    363,    377,    587,    685,    737, 
/* msg =     10, deg =  7 */     76,    281,    312,    378,    588,    686,    738, 
/* msg =     11, deg =  7 */     77,    282,    313,    379,    589,    687,    739, 
/* msg =     12, deg =  7 */     78,    283,    314,    380,    590,    688,    740, 
/* msg =     13, deg =  7 */     79,    284,    315,    381,    591,    689,    741, 
/* msg =     14, deg =  7 */     80,    285,    316,    382,    592,    690,    742, 
/* msg =     15, deg =  7 */     81,    286,    317,    383,    593,    691,    743, 
/* msg =     16, deg =  7 */     82,    287,    318,    384,    594,    692,    744, 
/* msg =     17, deg =  7 */     83,    288,    319,    385,    595,    693,    745, 
/* msg =     18, deg =  7 */     84,    289,    320,    386,    596,    694,    746, 
/* msg =     19, deg =  7 */     85,    290,    321,    387,    597,    695,    747, 
/* msg =     20, deg =  7 */     86,    291,    322,    388,    598,    696,    748, 
/* msg =     21, deg =  7 */     87,    292,    323,    389,    599,    697,    749, 
/* msg =     22, deg =  7 */     88,    293,    324,    390,    600,    698,    750, 
/* msg =     23, deg =  7 */     89,    294,    325,    391,    601,    699,    751, 
/* msg =     24, deg =  7 */     90,    295,    326,    392,    602,    700,    752, 
/* msg =     25, deg =  7 */     91,    296,    327,    393,    603,    701,    753, 
/* msg =     26, deg =  7 */     92,    297,    328,    394,    604,    702,    754, 
/* msg =     27, deg =  7 */     93,    298,    329,    395,    605,    703,    755, 
/* msg =     28, deg =  7 */     94,    299,    330,    396,    606,    704,    756, 
/* msg =     29, deg =  7 */     95,    300,    331,    397,    607,    705,    757, 
/* msg =     30, deg =  7 */     96,    301,    332,    398,    608,    706,    758, 
/* msg =     31, deg =  7 */     97,    302,    333,    399,    609,    707,    759, 
/* msg =     32, deg =  7 */     98,    303,    334,    400,    610,    708,    760, 
/* msg =     33, deg =  7 */     99,    304,    335,    401,    611,    709,    761, 
/* msg =     34, deg =  7 */    100,    305,    336,    402,    612,    710,    762, 
/* msg =     35, deg =  7 */    101,    306,    337,    403,    613,    711,    763, 
/* msg =     36, deg =  7 */    102,    307,    338,    404,    614,    712,    764, 
/* msg =     37, deg =  7 */    103,    308,    339,    405,    615,    713,    765, 
/* msg =     38, deg =  7 */     52,    309,    340,    406,    616,    714,    766, 
/* msg =     39, deg =  7 */     53,    310,    341,    407,    617,    715,    767, 
/* msg =     40, deg =  7 */     54,    311,    342,    408,    618,    716,    768, 
/* msg =     41, deg =  7 */     55,    260,    343,    409,    619,    717,    769, 
/* msg =     42, deg =  7 */     56,    261,    344,    410,    620,    718,    770, 
/* msg =     43, deg =  7 */     57,    262,    345,    411,    621,    719,    771, 
/* msg =     44, deg =  7 */     58,    263,    346,    412,    622,    720,    772, 
/* msg =     45, deg =  7 */     59,    264,    347,    413,    623,    721,    773, 
/* msg =     46, deg =  7 */     60,    265,    348,    414,    572,    722,    774, 
/* msg =     47, deg =  7 */     61,    266,    349,    415,    573,    723,    775, 
/* msg =     48, deg =  7 */     62,    267,    350,    364,    574,    724,    776, 
/* msg =     49, deg =  7 */     63,    268,    351,    365,    575,    725,    777, 
/* msg =     50, deg =  7 */     64,    269,    352,    366,    576,    726,    778, 
/* msg =     51, deg =  7 */     65,    270,    353,    367,    577,    727,    779, 
/* msg =     52, deg =  7 */    169,    219,    303,    381,    572,    728,    780, 
/* msg =     53, deg =  7 */    170,    220,    304,    382,    573,    729,    781, 
/* msg =     54, deg =  7 */    171,    221,    305,    383,    574,    730,    782, 
/* msg =     55, deg =  7 */    172,    222,    306,    384,    575,    731,    783, 
/* msg =     56, deg =  7 */    173,    223,    307,    385,    576,    732,    784, 
/* msg =     57, deg =  7 */    174,    224,    308,    386,    577,    733,    785, 
/* msg =     58, deg =  7 */    175,    225,    309,    387,    578,    734,    786, 
/* msg =     59, deg =  7 */    176,    226,    310,    388,    579,    735,    787, 
/* msg =     60, deg =  7 */    177,    227,    311,    389,    580,    736,    788, 
/* msg =     61, deg =  7 */    178,    228,    260,    390,    581,    737,    789, 
/* msg =     62, deg =  7 */    179,    229,    261,    391,    582,    738,    790, 
/* msg =     63, deg =  7 */    180,    230,    262,    392,    583,    739,    791, 
/* msg =     64, deg =  7 */    181,    231,    263,    393,    584,    740,    792, 
/* msg =     65, deg =  7 */    182,    232,    264,    394,    585,    741,    793, 
/* msg =     66, deg =  7 */    183,    233,    265,    395,    586,    742,    794, 
/* msg =     67, deg =  7 */    184,    234,    266,    396,    587,    743,    795, 
/* msg =     68, deg =  7 */    185,    235,    267,    397,    588,    744,    796, 
/* msg =     69, deg =  7 */    186,    236,    268,    398,    589,    745,    797, 
/* msg =     70, deg =  7 */    187,    237,    269,    399,    590,    746,    798, 
/* msg =     71, deg =  7 */    188,    238,    270,    400,    591,    747,    799, 
/* msg =     72, deg =  7 */    189,    239,    271,    401,    592,    748,    800, 
/* msg =     73, deg =  7 */    190,    240,    272,    402,    593,    749,    801, 
/* msg =     74, deg =  7 */    191,    241,    273,    403,    594,    750,    802, 
/* msg =     75, deg =  7 */    192,    242,    274,    404,    595,    751,    803, 
/* msg =     76, deg =  7 */    193,    243,    275,    405,    596,    752,    804, 
/* msg =     77, deg =  7 */    194,    244,    276,    406,    597,    753,    805, 
/* msg =     78, deg =  7 */    195,    245,    277,    407,    598,    754,    806, 
/* msg =     79, deg =  7 */    196,    246,    278,    408,    599,    755,    807, 
/* msg =     80, deg =  7 */    197,    247,    279,    409,    600,    756,    808, 
/* msg =     81, deg =  7 */    198,    248,    280,    410,    601,    757,    809, 
/* msg =     82, deg =  7 */    199,    249,    281,    411,    602,    758,    810, 
/* msg =     83, deg =  7 */    200,    250,    282,    412,    603,    759,    811, 
/* msg =     84, deg =  7 */    201,    251,    283,    413,    604,    760,    812, 
/* msg =     85, deg =  7 */    202,    252,    284,    414,    605,    761,    813, 
/* msg =     86, deg =  7 */    203,    253,    285,    415,    606,    762,    814, 
/* msg =     87, deg =  7 */    204,    254,    286,    364,    607,    763,    815, 
/* msg =     88, deg =  7 */    205,    255,    287,    365,    608,    764,    816, 
/* msg =     89, deg =  7 */    206,    256,    288,    366,    609,    765,    817, 
/* msg =     90, deg =  7 */    207,    257,    289,    367,    610,    766,    818, 
/* msg =     91, deg =  7 */    156,    258,    290,    368,    611,    767,    819, 
/* msg =     92, deg =  7 */    157,    259,    291,    369,    612,    768,    820, 
/* msg =     93, deg =  7 */    158,    208,    292,    370,    613,    769,    821, 
/* msg =     94, deg =  7 */    159,    209,    293,    371,    614,    770,    822, 
/* msg =     95, deg =  7 */    160,    210,    294,    372,    615,    771,    823, 
/* msg =     96, deg =  7 */    161,    211,    295,    373,    616,    772,    824, 
/* msg =     97, deg =  7 */    162,    212,    296,    374,    617,    773,    825, 
/* msg =     98, deg =  7 */    163,    213,    297,    375,    618,    774,    826, 
/* msg =     99, deg =  7 */    164,    214,    298,    376,    619,    775,    827, 
/* msg =    100, deg =  7 */    165,    215,    299,    377,    620,    776,    828, 
/* msg =    101, deg =  7 */    166,    216,    300,    378,    621,    777,    829, 
/* msg =    102, deg =  7 */    167,    217,    301,    379,    622,    778,    830, 
/* msg =    103, deg =  7 */    168,    218,    302,    380,    623,    779,    831, 
/* msg =    104, deg =  7 */    232,    281,    408,    614,    624,    884,    936, 
/* msg =    105, deg =  7 */    233,    282,    409,    615,    625,    885,    937, 
/* msg =    106, deg =  7 */    234,    283,    410,    616,    626,    886,    938, 
/* msg =    107, deg =  7 */    235,    284,    411,    617,    627,    887,    939, 
/* msg =    108, deg =  7 */    236,    285,    412,    618,    628,    888,    940, 
/* msg =    109, deg =  7 */    237,    286,    413,    619,    629,    889,    941, 
/* msg =    110, deg =  7 */    238,    287,    414,    620,    630,    890,    942, 
/* msg =    111, deg =  7 */    239,    288,    415,    621,    631,    891,    943, 
/* msg =    112, deg =  7 */    240,    289,    364,    622,    632,    892,    944, 
/* msg =    113, deg =  7 */    241,    290,    365,    623,    633,    893,    945, 
/* msg =    114, deg =  7 */    242,    291,    366,    572,    634,    894,    946, 
/* msg =    115, deg =  7 */    243,    292,    367,    573,    635,    895,    947, 
/* msg =    116, deg =  7 */    244,    293,    368,    574,    636,    896,    948, 
/* msg =    117, deg =  7 */    245,    294,    369,    575,    637,    897,    949, 
/* msg =    118, deg =  7 */    246,    295,    370,    576,    638,    898,    950, 
/* msg =    119, deg =  7 */    247,    296,    371,    577,    639,    899,    951, 
/* msg =    120, deg =  7 */    248,    297,    372,    578,    640,    900,    952, 
/* msg =    121, deg =  7 */    249,    298,    373,    579,    641,    901,    953, 
/* msg =    122, deg =  7 */    250,    299,    374,    580,    642,    902,    954, 
/* msg =    123, deg =  7 */    251,    300,    375,    581,    643,    903,    955, 
/* msg =    124, deg =  7 */    252,    301,    376,    582,    644,    904,    956, 
/* msg =    125, deg =  7 */    253,    302,    377,    583,    645,    905,    957, 
/* msg =    126, deg =  7 */    254,    303,    378,    584,    646,    906,    958, 
/* msg =    127, deg =  7 */    255,    304,    379,    585,    647,    907,    959, 
/* msg =    128, deg =  7 */    256,    305,    380,    586,    648,    908,    960, 
/* msg =    129, deg =  7 */    257,    306,    381,    587,    649,    909,    961, 
/* msg =    130, deg =  7 */    258,    307,    382,    588,    650,    910,    962, 
/* msg =    131, deg =  7 */    259,    308,    383,    589,    651,    911,    963, 
/* msg =    132, deg =  7 */    208,    309,    384,    590,    652,    912,    964, 
/* msg =    133, deg =  7 */    209,    310,    385,    591,    653,    913,    965, 
/* msg =    134, deg =  7 */    210,    311,    386,    592,    654,    914,    966, 
/* msg =    135, deg =  7 */    211,    260,    387,    593,    655,    915,    967, 
/* msg =    136, deg =  7 */    212,    261,    388,    594,    656,    916,    968, 
/* msg =    137, deg =  7 */    213,    262,    389,    595,    657,    917,    969, 
/* msg =    138, deg =  7 */    214,    263,    390,    596,    658,    918,    970, 
/* msg =    139, deg =  7 */    215,    264,    391,    597,    659,    919,    971, 
/* msg =    140, deg =  7 */    216,    265,    392,    598,    660,    920,    972, 
/* msg =    141, deg =  7 */    217,    266,    393,    599,    661,    921,    973, 
/* msg =    142, deg =  7 */    218,    267,    394,    600,    662,    922,    974, 
/* msg =    143, deg =  7 */    219,    268,    395,    601,    663,    923,    975, 
/* msg =    144, deg =  7 */    220,    269,    396,    602,    664,    924,    976, 
/* msg =    145, deg =  7 */    221,    270,    397,    603,    665,    925,    977, 
/* msg =    146, deg =  7 */    222,    271,    398,    604,    666,    926,    978, 
/* msg =    147, deg =  7 */    223,    272,    399,    605,    667,    927,    979, 
/* msg =    148, deg =  7 */    224,    273,    400,    606,    668,    928,    980, 
/* msg =    149, deg =  7 */    225,    274,    401,    607,    669,    929,    981, 
/* msg =    150, deg =  7 */    226,    275,    402,    608,    670,    930,    982, 
/* msg =    151, deg =  7 */    227,    276,    403,    609,    671,    931,    983, 
/* msg =    152, deg =  7 */    228,    277,    404,    610,    672,    932,    984, 
/* msg =    153, deg =  7 */    229,    278,    405,    611,    673,    933,    985, 
/* msg =    154, deg =  7 */    230,    279,    406,    612,    674,    934,    986, 
/* msg =    155, deg =  7 */    231,    280,    407,    613,    675,    935,    987, 
/* msg =    156, deg =  7 */      6,    252,    273,    387,    599,   1040,   1092, 
/* msg =    157, deg =  7 */      7,    253,    274,    388,    600,   1041,   1093, 
/* msg =    158, deg =  7 */      8,    254,    275,    389,    601,   1042,   1094, 
/* msg =    159, deg =  7 */      9,    255,    276,    390,    602,   1043,   1095, 
/* msg =    160, deg =  7 */     10,    256,    277,    391,    603,   1044,   1096, 
/* msg =    161, deg =  7 */     11,    257,    278,    392,    604,   1045,   1097, 
/* msg =    162, deg =  7 */     12,    258,    279,    393,    605,   1046,   1098, 
/* msg =    163, deg =  7 */     13,    259,    280,    394,    606,   1047,   1099, 
/* msg =    164, deg =  7 */     14,    208,    281,    395,    607,   1048,   1100, 
/* msg =    165, deg =  7 */     15,    209,    282,    396,    608,   1049,   1101, 
/* msg =    166, deg =  7 */     16,    210,    283,    397,    609,   1050,   1102, 
/* msg =    167, deg =  7 */     17,    211,    284,    398,    610,   1051,   1103, 
/* msg =    168, deg =  7 */     18,    212,    285,    399,    611,   1052,   1104, 
/* msg =    169, deg =  7 */     19,    213,    286,    400,    612,   1053,   1105, 
/* msg =    170, deg =  7 */     20,    214,    287,    401,    613,   1054,   1106, 
/* msg =    171, deg =  7 */     21,    215,    288,    402,    614,   1055,   1107, 
/* msg =    172, deg =  7 */     22,    216,    289,    403,    615,   1056,   1108, 
/* msg =    173, deg =  7 */     23,    217,    290,    404,    616,   1057,   1109, 
/* msg =    174, deg =  7 */     24,    218,    291,    405,    617,   1058,   1110, 
/* msg =    175, deg =  7 */     25,    219,    292,    406,    618,   1059,   1111, 
/* msg =    176, deg =  7 */     26,    220,    293,    407,    619,   1060,   1112, 
/* msg =    177, deg =  7 */     27,    221,    294,    408,    620,   1061,   1113, 
/* msg =    178, deg =  7 */     28,    222,    295,    409,    621,   1062,   1114, 
/* msg =    179, deg =  7 */     29,    223,    296,    410,    622,   1063,   1115, 
/* msg =    180, deg =  7 */     30,    224,    297,    411,    623,   1064,   1116, 
/* msg =    181, deg =  7 */     31,    225,    298,    412,    572,   1065,   1117, 
/* msg =    182, deg =  7 */     32,    226,    299,    413,    573,   1066,   1118, 
/* msg =    183, deg =  7 */     33,    227,    300,    414,    574,   1067,   1119, 
/* msg =    184, deg =  7 */     34,    228,    301,    415,    575,   1068,   1120, 
/* msg =    185, deg =  7 */     35,    229,    302,    364,    576,   1069,   1121, 
/* msg =    186, deg =  7 */     36,    230,    303,    365,    577,   1070,   1122, 
/* msg =    187, deg =  7 */     37,    231,    304,    366,    578,   1071,   1123, 
/* msg =    188, deg =  7 */     38,    232,    305,    367,    579,   1072,   1124, 
/* msg =    189, deg =  7 */     39,    233,    306,    368,    580,   1073,   1125, 
/* msg =    190, deg =  7 */     40,    234,    307,    369,    581,   1074,   1126, 
/* msg =    191, deg =  7 */     41,    235,    308,    370,    582,   1075,   1127, 
/* msg =    192, deg =  7 */     42,    236,    309,    371,    583,   1076,   1128, 
/* msg =    193, deg =  7 */     43,    237,    310,    372,    584,   1077,   1129, 
/* msg =    194, deg =  7 */     44,    238,    311,    373,    585,   1078,   1130, 
/* msg =    195, deg =  7 */     45,    239,    260,    374,    586,   1079,   1131, 
/* msg =    196, deg =  7 */     46,    240,    261,    375,    587,   1080,   1132, 
/* msg =    197, deg =  7 */     47,    241,    262,    376,    588,   1081,   1133, 
/* msg =    198, deg =  7 */     48,    242,    263,    377,    589,   1082,   1134, 
/* msg =    199, deg =  7 */     49,    243,    264,    378,    590,   1083,   1135, 
/* msg =    200, deg =  7 */     50,    244,    265,    379,    591,   1084,   1136, 
/* msg =    201, deg =  7 */     51,    245,    266,    380,    592,   1085,   1137, 
/* msg =    202, deg =  7 */      0,    246,    267,    381,    593,   1086,   1138, 
/* msg =    203, deg =  7 */      1,    247,    268,    382,    594,   1087,   1139, 
/* msg =    204, deg =  7 */      2,    248,    269,    383,    595,   1088,   1140, 
/* msg =    205, deg =  7 */      3,    249,    270,    384,    596,   1089,   1141, 
/* msg =    206, deg =  7 */      4,    250,    271,    385,    597,   1090,   1142, 
/* msg =    207, deg =  7 */      5,    251,    272,    386,    598,   1091,   1143, 
/* msg =    208, deg =  6 */    102,    143,    445,    512,    627,    676, 
/* msg =    209, deg =  6 */    103,    144,    446,    513,    628,    677, 
/* msg =    210, deg =  6 */     52,    145,    447,    514,    629,    678, 
/* msg =    211, deg =  6 */     53,    146,    448,    515,    630,    679, 
/* msg =    212, deg =  6 */     54,    147,    449,    516,    631,    680, 
/* msg =    213, deg =  6 */     55,    148,    450,    517,    632,    681, 
/* msg =    214, deg =  6 */     56,    149,    451,    518,    633,    682, 
/* msg =    215, deg =  6 */     57,    150,    452,    519,    634,    683, 
/* msg =    216, deg =  6 */     58,    151,    453,    468,    635,    684, 
/* msg =    217, deg =  6 */     59,    152,    454,    469,    636,    685, 
/* msg =    218, deg =  6 */     60,    153,    455,    470,    637,    686, 
/* msg =    219, deg =  6 */     61,    154,    456,    471,    638,    687, 
/* msg =    220, deg =  6 */     62,    155,    457,    472,    639,    688, 
/* msg =    221, deg =  6 */     63,    104,    458,    473,    640,    689, 
/* msg =    222, deg =  6 */     64,    105,    459,    474,    641,    690, 
/* msg =    223, deg =  6 */     65,    106,    460,    475,    642,    691, 
/* msg =    224, deg =  6 */     66,    107,    461,    476,    643,    692, 
/* msg =    225, deg =  6 */     67,    108,    462,    477,    644,    693, 
/* msg =    226, deg =  6 */     68,    109,    463,    478,    645,    694, 
/* msg =    227, deg =  6 */     69,    110,    464,    479,    646,    695, 
/* msg =    228, deg =  6 */     70,    111,    465,    480,    647,    696, 
/* msg =    229, deg =  6 */     71,    112,    466,    481,    648,    697, 
/* msg =    230, deg =  6 */     72,    113,    467,    482,    649,    698, 
/* msg =    231, deg =  6 */     73,    114,    416,    483,    650,    699, 
/* msg =    232, deg =  6 */     74,    115,    417,    484,    651,    700, 
/* msg =    233, deg =  6 */     75,    116,    418,    485,    652,    701, 
/* msg =    234, deg =  6 */     76,    117,    419,    486,    653,    702, 
/* msg =    235, deg =  6 */     77,    118,    420,    487,    654,    703, 
/* msg =    236, deg =  6 */     78,    119,    421,    488,    655,    704, 
/* msg =    237, deg =  6 */     79,    120,    422,    489,    656,    705, 
/* msg =    238, deg =  6 */     80,    121,    423,    490,    657,    706, 
/* msg =    239, deg =  6 */     81,    122,    424,    491,    658,    707, 
/* msg =    240, deg =  6 */     82,    123,    425,    492,    659,    708, 
/* msg =    241, deg =  6 */     83,    124,    426,    493,    660,    709, 
/* msg =    242, deg =  6 */     84,    125,    427,    494,    661,    710, 
/* msg =    243, deg =  6 */     85,    126,    428,    495,    662,    711, 
/* msg =    244, deg =  6 */     86,    127,    429,    496,    663,    712, 
/* msg =    245, deg =  6 */     87,    128,    430,    497,    664,    713, 
/* msg =    246, deg =  6 */     88,    129,    431,    498,    665,    714, 
/* msg =    247, deg =  6 */     89,    130,    432,    499,    666,    715, 
/* msg =    248, deg =  6 */     90,    131,    433,    500,    667,    716, 
/* msg =    249, deg =  6 */     91,    132,    434,    501,    668,    717, 
/* msg =    250, deg =  6 */     92,    133,    435,    502,    669,    718, 
/* msg =    251, deg =  6 */     93,    134,    436,    503,    670,    719, 
/* msg =    252, deg =  6 */     94,    135,    437,    504,    671,    720, 
/* msg =    253, deg =  6 */     95,    136,    438,    505,    672,    721, 
/* msg =    254, deg =  6 */     96,    137,    439,    506,    673,    722, 
/* msg =    255, deg =  6 */     97,    138,    440,    507,    674,    723, 
/* msg =    256, deg =  6 */     98,    139,    441,    508,    675,    724, 
/* msg =    257, deg =  6 */     99,    140,    442,    509,    624,    725, 
/* msg =    258, deg =  6 */    100,    141,    443,    510,    625,    726, 
/* msg =    259, deg =  6 */    101,    142,    444,    511,    626,    727, 
/* msg =    260, deg =  6 */     33,    129,    451,    481,    780,    832, 
/* msg =    261, deg =  6 */     34,    130,    452,    482,    781,    833, 
/* msg =    262, deg =  6 */     35,    131,    453,    483,    782,    834, 
/* msg =    263, deg =  6 */     36,    132,    454,    484,    783,    835, 
/* msg =    264, deg =  6 */     37,    133,    455,    485,    784,    836, 
/* msg =    265, deg =  6 */     38,    134,    456,    486,    785,    837, 
/* msg =    266, deg =  6 */     39,    135,    457,    487,    786,    838, 
/* msg =    267, deg =  6 */     40,    136,    458,    488,    787,    839, 
/* msg =    268, deg =  6 */     41,    137,    459,    489,    788,    840, 
/* msg =    269, deg =  6 */     42,    138,    460,    490,    789,    841, 
/* msg =    270, deg =  6 */     43,    139,    461,    491,    790,    842, 
/* msg =    271, deg =  6 */     44,    140,    462,    492,    791,    843, 
/* msg =    272, deg =  6 */     45,    141,    463,    493,    792,    844, 
/* msg =    273, deg =  6 */     46,    142,    464,    494,    793,    845, 
/* msg =    274, deg =  6 */     47,    143,    465,    495,    794,    846, 
/* msg =    275, deg =  6 */     48,    144,    466,    496,    795,    847, 
/* msg =    276, deg =  6 */     49,    145,    467,    497,    796,    848, 
/* msg =    277, deg =  6 */     50,    146,    416,    498,    797,    849, 
/* msg =    278, deg =  6 */     51,    147,    417,    499,    798,    850, 
/* msg =    279, deg =  6 */      0,    148,    418,    500,    799,    851, 
/* msg =    280, deg =  6 */      1,    149,    419,    501,    800,    852, 
/* msg =    281, deg =  6 */      2,    150,    420,    502,    801,    853, 
/* msg =    282, deg =  6 */      3,    151,    421,    503,    802,    854, 
/* msg =    283, deg =  6 */      4,    152,    422,    504,    803,    855, 
/* msg =    284, deg =  6 */      5,    153,    423,    505,    804,    856, 
/* msg =    285, deg =  6 */      6,    154,    424,    506,    805,    857, 
/* msg =    286, deg =  6 */      7,    155,    425,    507,    806,    858, 
/* msg =    287, deg =  6 */      8,    104,    426,    508,    807,    859, 
/* msg =    288, deg =  6 */      9,    105,    427,    509,    808,    860, 
/* msg =    289, deg =  6 */     10,    106,    428,    510,    809,    861, 
/* msg =    290, deg =  6 */     11,    107,    429,    511,    810,    862, 
/* msg =    291, deg =  6 */     12,    108,    430,    512,    811,    863, 
/* msg =    292, deg =  6 */     13,    109,    431,    513,    812,    864, 
/* msg =    293, deg =  6 */     14,    110,    432,    514,    813,    865, 
/* msg =    294, deg =  6 */     15,    111,    433,    515,    814,    866, 
/* msg =    295, deg =  6 */     16,    112,    434,    516,    815,    867, 
/* msg =    296, deg =  6 */     17,    113,    435,    517,    816,    868, 
/* msg =    297, deg =  6 */     18,    114,    436,    518,    817,    869, 
/* msg =    298, deg =  6 */     19,    115,    437,    519,    818,    870, 
/* msg =    299, deg =  6 */     20,    116,    438,    468,    819,    871, 
/* msg =    300, deg =  6 */     21,    117,    439,    469,    820,    872, 
/* msg =    301, deg =  6 */     22,    118,    440,    470,    821,    873, 
/* msg =    302, deg =  6 */     23,    119,    441,    471,    822,    874, 
/* msg =    303, deg =  6 */     24,    120,    442,    472,    823,    875, 
/* msg =    304, deg =  6 */     25,    121,    443,    473,    824,    876, 
/* msg =    305, deg =  6 */     26,    122,    444,    474,    825,    877, 
/* msg =    306, deg =  6 */     27,    123,    445,    475,    826,    878, 
/* msg =    307, deg =  6 */     28,    124,    446,    476,    827,    879, 
/* msg =    308, deg =  6 */     29,    125,    447,    477,    828,    880, 
/* msg =    309, deg =  6 */     30,    126,    448,    478,    829,    881, 
/* msg =    310, deg =  6 */     31,    127,    449,    479,    830,    882, 
/* msg =    311, deg =  6 */     32,    128,    450,    480,    831,    883, 
/* msg =    312, deg =  6 */    125,    357,    490,    559,    832,    884, 
/* msg =    313, deg =  6 */    126,    358,    491,    560,    833,    885, 
/* msg =    314, deg =  6 */    127,    359,    492,    561,    834,    886, 
/* msg =    315, deg =  6 */    128,    360,    493,    562,    835,    887, 
/* msg =    316, deg =  6 */    129,    361,    494,    563,    836,    888, 
/* msg =    317, deg =  6 */    130,    362,    495,    564,    837,    889, 
/* msg =    318, deg =  6 */    131,    363,    496,    565,    838,    890, 
/* msg =    319, deg =  6 */    132,    312,    497,    566,    839,    891, 
/* msg =    320, deg =  6 */    133,    313,    498,    567,    840,    892, 
/* msg =    321, deg =  6 */    134,    314,    499,    568,    841,    893, 
/* msg =    322, deg =  6 */    135,    315,    500,    569,    842,    894, 
/* msg =    323, deg =  6 */    136,    316,    501,    570,    843,    895, 
/* msg =    324, deg =  6 */    137,    317,    502,    571,    844,    896, 
/* msg =    325, deg =  6 */    138,    318,    503,    520,    845,    897, 
/* msg =    326, deg =  6 */    139,    319,    504,    521,    846,    898, 
/* msg =    327, deg =  6 */    140,    320,    505,    522,    847,    899, 
/* msg =    328, deg =  6 */    141,    321,    506,    523,    848,    900, 
/* msg =    329, deg =  6 */    142,    322,    507,    524,    849,    901, 
/* msg =    330, deg =  6 */    143,    323,    508,    525,    850,    902, 
/* msg =    331, deg =  6 */    144,    324,    509,    526,    851,    903, 
/* msg =    332, deg =  6 */    145,    325,    510,    527,    852,    904, 
/* msg =    333, deg =  6 */    146,    326,    511,    528,    853,    905, 
/* msg =    334, deg =  6 */    147,    327,    512,    529,    854,    906, 
/* msg =    335, deg =  6 */    148,    328,    513,    530,    855,    907, 
/* msg =    336, deg =  6 */    149,    329,    514,    531,    856,    908, 
/* msg =    337, deg =  6 */    150,    330,    515,    532,    857,    909, 
/* msg =    338, deg =  6 */    151,    331,    516,    533,    858,    910, 
/* msg =    339, deg =  6 */    152,    332,    517,    534,    859,    911, 
/* msg =    340, deg =  6 */    153,    333,    518,    535,    860,    912, 
/* msg =    341, deg =  6 */    154,    334,    519,    536,    861,    913, 
/* msg =    342, deg =  6 */    155,    335,    468,    537,    862,    914, 
/* msg =    343, deg =  6 */    104,    336,    469,    538,    863,    915, 
/* msg =    344, deg =  6 */    105,    337,    470,    539,    864,    916, 
/* msg =    345, deg =  6 */    106,    338,    471,    540,    865,    917, 
/* msg =    346, deg =  6 */    107,    339,    472,    541,    866,    918, 
/* msg =    347, deg =  6 */    108,    340,    473,    542,    867,    919, 
/* msg =    348, deg =  6 */    109,    341,    474,    543,    868,    920, 
/* msg =    349, deg =  6 */    110,    342,    475,    544,    869,    921, 
/* msg =    350, deg =  6 */    111,    343,    476,    545,    870,    922, 
/* msg =    351, deg =  6 */    112,    344,    477,    546,    871,    923, 
/* msg =    352, deg =  6 */    113,    345,    478,    547,    872,    924, 
/* msg =    353, deg =  6 */    114,    346,    479,    548,    873,    925, 
/* msg =    354, deg =  6 */    115,    347,    480,    549,    874,    926, 
/* msg =    355, deg =  6 */    116,    348,    481,    550,    875,    927, 
/* msg =    356, deg =  6 */    117,    349,    482,    551,    876,    928, 
/* msg =    357, deg =  6 */    118,    350,    483,    552,    877,    929, 
/* msg =    358, deg =  6 */    119,    351,    484,    553,    878,    930, 
/* msg =    359, deg =  6 */    120,    352,    485,    554,    879,    931, 
/* msg =    360, deg =  6 */    121,    353,    486,    555,    880,    932, 
/* msg =    361, deg =  6 */    122,    354,    487,    556,    881,    933, 
/* msg =    362, deg =  6 */    123,    355,    488,    557,    882,    934, 
/* msg =    363, deg =  6 */    124,    356,    489,    558,    883,    935, 
/* msg =    364, deg =  6 */    155,    184,    475,    529,    936,    988, 
/* msg =    365, deg =  6 */    104,    185,    476,    530,    937,    989, 
/* msg =    366, deg =  6 */    105,    186,    477,    531,    938,    990, 
/* msg =    367, deg =  6 */    106,    187,    478,    532,    939,    991, 
/* msg =    368, deg =  6 */    107,    188,    479,    533,    940,    992, 
/* msg =    369, deg =  6 */    108,    189,    480,    534,    941,    993, 
/* msg =    370, deg =  6 */    109,    190,    481,    535,    942,    994, 
/* msg =    371, deg =  6 */    110,    191,    482,    536,    943,    995, 
/* msg =    372, deg =  6 */    111,    192,    483,    537,    944,    996, 
/* msg =    373, deg =  6 */    112,    193,    484,    538,    945,    997, 
/* msg =    374, deg =  6 */    113,    194,    485,    539,    946,    998, 
/* msg =    375, deg =  6 */    114,    195,    486,    540,    947,    999, 
/* msg =    376, deg =  6 */    115,    196,    487,    541,    948,   1000, 
/* msg =    377, deg =  6 */    116,    197,    488,    542,    949,   1001, 
/* msg =    378, deg =  6 */    117,    198,    489,    543,    950,   1002, 
/* msg =    379, deg =  6 */    118,    199,    490,    544,    951,   1003, 
/* msg =    380, deg =  6 */    119,    200,    491,    545,    952,   1004, 
/* msg =    381, deg =  6 */    120,    201,    492,    546,    953,   1005, 
/* msg =    382, deg =  6 */    121,    202,    493,    547,    954,   1006, 
/* msg =    383, deg =  6 */    122,    203,    494,    548,    955,   1007, 
/* msg =    384, deg =  6 */    123,    204,    495,    549,    956,   1008, 
/* msg =    385, deg =  6 */    124,    205,    496,    550,    957,   1009, 
/* msg =    386, deg =  6 */    125,    206,    497,    551,    958,   1010, 
/* msg =    387, deg =  6 */    126,    207,    498,    552,    959,   1011, 
/* msg =    388, deg =  6 */    127,    156,    499,    553,    960,   1012, 
/* msg =    389, deg =  6 */    128,    157,    500,    554,    961,   1013, 
/* msg =    390, deg =  6 */    129,    158,    501,    555,    962,   1014, 
/* msg =    391, deg =  6 */    130,    159,    502,    556,    963,   1015, 
/* msg =    392, deg =  6 */    131,    160,    503,    557,    964,   1016, 
/* msg =    393, deg =  6 */    132,    161,    504,    558,    965,   1017, 
/* msg =    394, deg =  6 */    133,    162,    505,    559,    966,   1018, 
/* msg =    395, deg =  6 */    134,    163,    506,    560,    967,   1019, 
/* msg =    396, deg =  6 */    135,    164,    507,    561,    968,   1020, 
/* msg =    397, deg =  6 */    136,    165,    508,    562,    969,   1021, 
/* msg =    398, deg =  6 */    137,    166,    509,    563,    970,   1022, 
/* msg =    399, deg =  6 */    138,    167,    510,    564,    971,   1023, 
/* msg =    400, deg =  6 */    139,    168,    511,    565,    972,   1024, 
/* msg =    401, deg =  6 */    140,    169,    512,    566,    973,   1025, 
/* msg =    402, deg =  6 */    141,    170,    513,    567,    974,   1026, 
/* msg =    403, deg =  6 */    142,    171,    514,    568,    975,   1027, 
/* msg =    404, deg =  6 */    143,    172,    515,    569,    976,   1028, 
/* msg =    405, deg =  6 */    144,    173,    516,    570,    977,   1029, 
/* msg =    406, deg =  6 */    145,    174,    517,    571,    978,   1030, 
/* msg =    407, deg =  6 */    146,    175,    518,    520,    979,   1031, 
/* msg =    408, deg =  6 */    147,    176,    519,    521,    980,   1032, 
/* msg =    409, deg =  6 */    148,    177,    468,    522,    981,   1033, 
/* msg =    410, deg =  6 */    149,    178,    469,    523,    982,   1034, 
/* msg =    411, deg =  6 */    150,    179,    470,    524,    983,   1035, 
/* msg =    412, deg =  6 */    151,    180,    471,    525,    984,   1036, 
/* msg =    413, deg =  6 */    152,    181,    472,    526,    985,   1037, 
/* msg =    414, deg =  6 */    153,    182,    473,    527,    986,   1038, 
/* msg =    415, deg =  6 */    154,    183,    474,    528,    987,   1039, 
/* msg =    416, deg =  6 */     57,    143,    313,    493,    988,   1040, 
/* msg =    417, deg =  6 */     58,    144,    314,    494,    989,   1041, 
/* msg =    418, deg =  6 */     59,    145,    315,    495,    990,   1042, 
/* msg =    419, deg =  6 */     60,    146,    316,    496,    991,   1043, 
/* msg =    420, deg =  6 */     61,    147,    317,    497,    992,   1044, 
/* msg =    421, deg =  6 */     62,    148,    318,    498,    993,   1045, 
/* msg =    422, deg =  6 */     63,    149,    319,    499,    994,   1046, 
/* msg =    423, deg =  6 */     64,    150,    320,    500,    995,   1047, 
/* msg =    424, deg =  6 */     65,    151,    321,    501,    996,   1048, 
/* msg =    425, deg =  6 */     66,    152,    322,    502,    997,   1049, 
/* msg =    426, deg =  6 */     67,    153,    323,    503,    998,   1050, 
/* msg =    427, deg =  6 */     68,    154,    324,    504,    999,   1051, 
/* msg =    428, deg =  6 */     69,    155,    325,    505,   1000,   1052, 
/* msg =    429, deg =  6 */     70,    104,    326,    506,   1001,   1053, 
/* msg =    430, deg =  6 */     71,    105,    327,    507,   1002,   1054, 
/* msg =    431, deg =  6 */     72,    106,    328,    508,   1003,   1055, 
/* msg =    432, deg =  6 */     73,    107,    329,    509,   1004,   1056, 
/* msg =    433, deg =  6 */     74,    108,    330,    510,   1005,   1057, 
/* msg =    434, deg =  6 */     75,    109,    331,    511,   1006,   1058, 
/* msg =    435, deg =  6 */     76,    110,    332,    512,   1007,   1059, 
/* msg =    436, deg =  6 */     77,    111,    333,    513,   1008,   1060, 
/* msg =    437, deg =  6 */     78,    112,    334,    514,   1009,   1061, 
/* msg =    438, deg =  6 */     79,    113,    335,    515,   1010,   1062, 
/* msg =    439, deg =  6 */     80,    114,    336,    516,   1011,   1063, 
/* msg =    440, deg =  6 */     81,    115,    337,    517,   1012,   1064, 
/* msg =    441, deg =  6 */     82,    116,    338,    518,   1013,   1065, 
/* msg =    442, deg =  6 */     83,    117,    339,    519,   1014,   1066, 
/* msg =    443, deg =  6 */     84,    118,    340,    468,   1015,   1067, 
/* msg =    444, deg =  6 */     85,    119,    341,    469,   1016,   1068, 
/* msg =    445, deg =  6 */     86,    120,    342,    470,   1017,   1069, 
/* msg =    446, deg =  6 */     87,    121,    343,    471,   1018,   1070, 
/* msg =    447, deg =  6 */     88,    122,    344,    472,   1019,   1071, 
/* msg =    448, deg =  6 */     89,    123,    345,    473,   1020,   1072, 
/* msg =    449, deg =  6 */     90,    124,    346,    474,   1021,   1073, 
/* msg =    450, deg =  6 */     91,    125,    347,    475,   1022,   1074, 
/* msg =    451, deg =  6 */     92,    126,    348,    476,   1023,   1075, 
/* msg =    452, deg =  6 */     93,    127,    349,    477,   1024,   1076, 
/* msg =    453, deg =  6 */     94,    128,    350,    478,   1025,   1077, 
/* msg =    454, deg =  6 */     95,    129,    351,    479,   1026,   1078, 
/* msg =    455, deg =  6 */     96,    130,    352,    480,   1027,   1079, 
/* msg =    456, deg =  6 */     97,    131,    353,    481,   1028,   1080, 
/* msg =    457, deg =  6 */     98,    132,    354,    482,   1029,   1081, 
/* msg =    458, deg =  6 */     99,    133,    355,    483,   1030,   1082, 
/* msg =    459, deg =  6 */    100,    134,    356,    484,   1031,   1083, 
/* msg =    460, deg =  6 */    101,    135,    357,    485,   1032,   1084, 
/* msg =    461, deg =  6 */    102,    136,    358,    486,   1033,   1085, 
/* msg =    462, deg =  6 */    103,    137,    359,    487,   1034,   1086, 
/* msg =    463, deg =  6 */     52,    138,    360,    488,   1035,   1087, 
/* msg =    464, deg =  6 */     53,    139,    361,    489,   1036,   1088, 
/* msg =    465, deg =  6 */     54,    140,    362,    490,   1037,   1089, 
/* msg =    466, deg =  6 */     55,    141,    363,    491,   1038,   1090, 
/* msg =    467, deg =  6 */     56,    142,    312,    492,   1039,   1091, 
/* msg =    468, deg =  6 */    310,    395,    557,    611,   1092,   1144, 
/* msg =    469, deg =  6 */    311,    396,    558,    612,   1093,   1145, 
/* msg =    470, deg =  6 */    260,    397,    559,    613,   1094,   1146, 
/* msg =    471, deg =  6 */    261,    398,    560,    614,   1095,   1147, 
/* msg =    472, deg =  6 */    262,    399,    561,    615,   1096,   1148, 
/* msg =    473, deg =  6 */    263,    400,    562,    616,   1097,   1149, 
/* msg =    474, deg =  6 */    264,    401,    563,    617,   1098,   1150, 
/* msg =    475, deg =  6 */    265,    402,    564,    618,   1099,   1151, 
/* msg =    476, deg =  6 */    266,    403,    565,    619,   1100,   1152, 
/* msg =    477, deg =  6 */    267,    404,    566,    620,   1101,   1153, 
/* msg =    478, deg =  6 */    268,    405,    567,    621,   1102,   1154, 
/* msg =    479, deg =  6 */    269,    406,    568,    622,   1103,   1155, 
/* msg =    480, deg =  6 */    270,    407,    569,    623,   1104,   1156, 
/* msg =    481, deg =  6 */    271,    408,    570,    572,   1105,   1157, 
/* msg =    482, deg =  6 */    272,    409,    571,    573,   1106,   1158, 
/* msg =    483, deg =  6 */    273,    410,    520,    574,   1107,   1159, 
/* msg =    484, deg =  6 */    274,    411,    521,    575,   1108,   1160, 
/* msg =    485, deg =  6 */    275,    412,    522,    576,   1109,   1161, 
/* msg =    486, deg =  6 */    276,    413,    523,    577,   1110,   1162, 
/* msg =    487, deg =  6 */    277,    414,    524,    578,   1111,   1163, 
/* msg =    488, deg =  6 */    278,    415,    525,    579,   1112,   1164, 
/* msg =    489, deg =  6 */    279,    364,    526,    580,   1113,   1165, 
/* msg =    490, deg =  6 */    280,    365,    527,    581,   1114,   1166, 
/* msg =    491, deg =  6 */    281,    366,    528,    582,   1115,   1167, 
/* msg =    492, deg =  6 */    282,    367,    529,    583,   1116,   1168, 
/* msg =    493, deg =  6 */    283,    368,    530,    584,   1117,   1169, 
/* msg =    494, deg =  6 */    284,    369,    531,    585,   1118,   1170, 
/* msg =    495, deg =  6 */    285,    370,    532,    586,   1119,   1171, 
/* msg =    496, deg =  6 */    286,    371,    533,    587,   1120,   1172, 
/* msg =    497, deg =  6 */    287,    372,    534,    588,   1121,   1173, 
/* msg =    498, deg =  6 */    288,    373,    535,    589,   1122,   1174, 
/* msg =    499, deg =  6 */    289,    374,    536,    590,   1123,   1175, 
/* msg =    500, deg =  6 */    290,    375,    537,    591,   1124,   1176, 
/* msg =    501, deg =  6 */    291,    376,    538,    592,   1125,   1177, 
/* msg =    502, deg =  6 */    292,    377,    539,    593,   1126,   1178, 
/* msg =    503, deg =  6 */    293,    378,    540,    594,   1127,   1179, 
/* msg =    504, deg =  6 */    294,    379,    541,    595,   1128,   1180, 
/* msg =    505, deg =  6 */    295,    380,    542,    596,   1129,   1181, 
/* msg =    506, deg =  6 */    296,    381,    543,    597,   1130,   1182, 
/* msg =    507, deg =  6 */    297,    382,    544,    598,   1131,   1183, 
/* msg =    508, deg =  6 */    298,    383,    545,    599,   1132,   1184, 
/* msg =    509, deg =  6 */    299,    384,    546,    600,   1133,   1185, 
/* msg =    510, deg =  6 */    300,    385,    547,    601,   1134,   1186, 
/* msg =    511, deg =  6 */    301,    386,    548,    602,   1135,   1187, 
/* msg =    512, deg =  6 */    302,    387,    549,    603,   1136,   1188, 
/* msg =    513, deg =  6 */    303,    388,    550,    604,   1137,   1189, 
/* msg =    514, deg =  6 */    304,    389,    551,    605,   1138,   1190, 
/* msg =    515, deg =  6 */    305,    390,    552,    606,   1139,   1191, 
/* msg =    516, deg =  6 */    306,    391,    553,    607,   1140,   1192, 
/* msg =    517, deg =  6 */    307,    392,    554,    608,   1141,   1193, 
/* msg =    518, deg =  6 */    308,    393,    555,    609,   1142,   1194, 
/* msg =    519, deg =  6 */    309,    394,    556,    610,   1143,   1195, 
/* msg =    520, deg =  6 */    107,    191,    437,    494,   1144,   1196, 
/* msg =    521, deg =  6 */    108,    192,    438,    495,   1145,   1197, 
/* msg =    522, deg =  6 */    109,    193,    439,    496,   1146,   1198, 
/* msg =    523, deg =  6 */    110,    194,    440,    497,   1147,   1199, 
/* msg =    524, deg =  6 */    111,    195,    441,    498,   1148,   1200, 
/* msg =    525, deg =  6 */    112,    196,    442,    499,   1149,   1201, 
/* msg =    526, deg =  6 */    113,    197,    443,    500,   1150,   1202, 
/* msg =    527, deg =  6 */    114,    198,    444,    501,   1151,   1203, 
/* msg =    528, deg =  6 */    115,    199,    445,    502,   1152,   1204, 
/* msg =    529, deg =  6 */    116,    200,    446,    503,   1153,   1205, 
/* msg =    530, deg =  6 */    117,    201,    447,    504,   1154,   1206, 
/* msg =    531, deg =  6 */    118,    202,    448,    505,   1155,   1207, 
/* msg =    532, deg =  6 */    119,    203,    449,    506,   1156,   1208, 
/* msg =    533, deg =  6 */    120,    204,    450,    507,   1157,   1209, 
/* msg =    534, deg =  6 */    121,    205,    451,    508,   1158,   1210, 
/* msg =    535, deg =  6 */    122,    206,    452,    509,   1159,   1211, 
/* msg =    536, deg =  6 */    123,    207,    453,    510,   1160,   1212, 
/* msg =    537, deg =  6 */    124,    156,    454,    511,   1161,   1213, 
/* msg =    538, deg =  6 */    125,    157,    455,    512,   1162,   1214, 
/* msg =    539, deg =  6 */    126,    158,    456,    513,   1163,   1215, 
/* msg =    540, deg =  6 */    127,    159,    457,    514,   1164,   1216, 
/* msg =    541, deg =  6 */    128,    160,    458,    515,   1165,   1217, 
/* msg =    542, deg =  6 */    129,    161,    459,    516,   1166,   1218, 
/* msg =    543, deg =  6 */    130,    162,    460,    517,   1167,   1219, 
/* msg =    544, deg =  6 */    131,    163,    461,    518,   1168,   1220, 
/* msg =    545, deg =  6 */    132,    164,    462,    519,   1169,   1221, 
/* msg =    546, deg =  6 */    133,    165,    463,    468,   1170,   1222, 
/* msg =    547, deg =  6 */    134,    166,    464,    469,   1171,   1223, 
/* msg =    548, deg =  6 */    135,    167,    465,    470,   1172,   1224, 
/* msg =    549, deg =  6 */    136,    168,    466,    471,   1173,   1225, 
/* msg =    550, deg =  6 */    137,    169,    467,    472,   1174,   1226, 
/* msg =    551, deg =  6 */    138,    170,    416,    473,   1175,   1227, 
/* msg =    552, deg =  6 */    139,    171,    417,    474,   1176,   1228, 
/* msg =    553, deg =  6 */    140,    172,    418,    475,   1177,   1229, 
/* msg =    554, deg =  6 */    141,    173,    419,    476,   1178,   1230, 
/* msg =    555, deg =  6 */    142,    174,    420,    477,   1179,   1231, 
/* msg =    556, deg =  6 */    143,    175,    421,    478,   1180,   1232, 
/* msg =    557, deg =  6 */    144,    176,    422,    479,   1181,   1233, 
/* msg =    558, deg =  6 */    145,    177,    423,    480,   1182,   1234, 
/* msg =    559, deg =  6 */    146,    178,    424,    481,   1183,   1235, 
/* msg =    560, deg =  6 */    147,    179,    425,    482,   1184,   1236, 
/* msg =    561, deg =  6 */    148,    180,    426,    483,   1185,   1237, 
/* msg =    562, deg =  6 */    149,    181,    427,    484,   1186,   1238, 
/* msg =    563, deg =  6 */    150,    182,    428,    485,   1187,   1239, 
/* msg =    564, deg =  6 */    151,    183,    429,    486,   1188,   1240, 
/* msg =    565, deg =  6 */    152,    184,    430,    487,   1189,   1241, 
/* msg =    566, deg =  6 */    153,    185,    431,    488,   1190,   1242, 
/* msg =    567, deg =  6 */    154,    186,    432,    489,   1191,   1243, 
/* msg =    568, deg =  6 */    155,    187,    433,    490,   1192,   1244, 
/* msg =    569, deg =  6 */    104,    188,    434,    491,   1193,   1245, 
/* msg =    570, deg =  6 */    105,    189,    435,    492,   1194,   1246, 
/* msg =    571, deg =  6 */    106,    190,    436,    493,   1195,   1247, 
/* msg =    572, deg =  6 */     23,    295,    386,    586,    627,   1196, 
/* msg =    573, deg =  6 */     24,    296,    387,    587,    628,   1197, 
/* msg =    574, deg =  6 */     25,    297,    388,    588,    629,   1198, 
/* msg =    575, deg =  6 */     26,    298,    389,    589,    630,   1199, 
/* msg =    576, deg =  6 */     27,    299,    390,    590,    631,   1200, 
/* msg =    577, deg =  6 */     28,    300,    391,    591,    632,   1201, 
/* msg =    578, deg =  6 */     29,    301,    392,    592,    633,   1202, 
/* msg =    579, deg =  6 */     30,    302,    393,    593,    634,   1203, 
/* msg =    580, deg =  6 */     31,    303,    394,    594,    635,   1204, 
/* msg =    581, deg =  6 */     32,    304,    395,    595,    636,   1205, 
/* msg =    582, deg =  6 */     33,    305,    396,    596,    637,   1206, 
/* msg =    583, deg =  6 */     34,    306,    397,    597,    638,   1207, 
/* msg =    584, deg =  6 */     35,    307,    398,    598,    639,   1208, 
/* msg =    585, deg =  6 */     36,    308,    399,    599,    640,   1209, 
/* msg =    586, deg =  6 */     37,    309,    400,    600,    641,   1210, 
/* msg =    587, deg =  6 */     38,    310,    401,    601,    642,   1211, 
/* msg =    588, deg =  6 */     39,    311,    402,    602,    643,   1212, 
/* msg =    589, deg =  6 */     40,    260,    403,    603,    644,   1213, 
/* msg =    590, deg =  6 */     41,    261,    404,    604,    645,   1214, 
/* msg =    591, deg =  6 */     42,    262,    405,    605,    646,   1215, 
/* msg =    592, deg =  6 */     43,    263,    406,    606,    647,   1216, 
/* msg =    593, deg =  6 */     44,    264,    407,    607,    648,   1217, 
/* msg =    594, deg =  6 */     45,    265,    408,    608,    649,   1218, 
/* msg =    595, deg =  6 */     46,    266,    409,    609,    650,   1219, 
/* msg =    596, deg =  6 */     47,    267,    410,    610,    651,   1220, 
/* msg =    597, deg =  6 */     48,    268,    411,    611,    652,   1221, 
/* msg =    598, deg =  6 */     49,    269,    412,    612,    653,   1222, 
/* msg =    599, deg =  6 */     50,    270,    413,    613,    654,   1223, 
/* msg =    600, deg =  6 */     51,    271,    414,    614,    655,   1224, 
/* msg =    601, deg =  6 */      0,    272,    415,    615,    656,   1225, 
/* msg =    602, deg =  6 */      1,    273,    364,    616,    657,   1226, 
/* msg =    603, deg =  6 */      2,    274,    365,    617,    658,   1227, 
/* msg =    604, deg =  6 */      3,    275,    366,    618,    659,   1228, 
/* msg =    605, deg =  6 */      4,    276,    367,    619,    660,   1229, 
/* msg =    606, deg =  6 */      5,    277,    368,    620,    661,   1230, 
/* msg =    607, deg =  6 */      6,    278,    369,    621,    662,   1231, 
/* msg =    608, deg =  6 */      7,    279,    370,    622,    663,   1232, 
/* msg =    609, deg =  6 */      8,    280,    371,    623,    664,   1233, 
/* msg =    610, deg =  6 */      9,    281,    372,    572,    665,   1234, 
/* msg =    611, deg =  6 */     10,    282,    373,    573,    666,   1235, 
/* msg =    612, deg =  6 */     11,    283,    374,    574,    667,   1236, 
/* msg =    613, deg =  6 */     12,    284,    375,    575,    668,   1237, 
/* msg =    614, deg =  6 */     13,    285,    376,    576,    669,   1238, 
/* msg =    615, deg =  6 */     14,    286,    377,    577,    670,   1239, 
/* msg =    616, deg =  6 */     15,    287,    378,    578,    671,   1240, 
/* msg =    617, deg =  6 */     16,    288,    379,    579,    672,   1241, 
/* msg =    618, deg =  6 */     17,    289,    380,    580,    673,   1242, 
/* msg =    619, deg =  6 */     18,    290,    381,    581,    674,   1243, 
/* msg =    620, deg =  6 */     19,    291,    382,    582,    675,   1244, 
/* msg =    621, deg =  6 */     20,    292,    383,    583,    624,   1245, 
/* msg =    622, deg =  6 */     21,    293,    384,    584,    625,   1246, 
/* msg =    623, deg =  6 */     22,    294,    385,    585,    626,   1247
};
#endif

